| 11X1 T07 01 angle theorems (2013) - Nigel Simmons Initial definitions & notations and the angle theorems Keywords: angle theorems Downloads: 9 |

| The Fundamental Theorems Of The Differential Calculus No.11 - W.H.Young Sc.D.,F.R.S.
Keywords: Fundamental Theorems Downloads: 1,492 | |

| 11X1 T07 02 triangle theorems (2013) - Nigel Simmons Building some more theorems Keywords: triangle theorems Downloads: 15 |

| 11X1 T13 02 angle theorems 1 (2013) - Nigel Simmons The first of our angle theorems Keywords: circle geometry; angle theorems Downloads: 3 |

| 11X1 T07 01 angle theorems (2010) - Nigel Simmons Introducing the initial angle therems used in Euclidean proofs Keywords: geometry; angle theorems Downloads: 211 |

| 11X1 T07 06 tangent theorems 2 - Nigel Simmons the alternate segment theorem Keywords: geometry; tangent theorems Downloads: 230 |

| 11X1 T07 03 angle theorems 2 - Nigel Simmons The second part of angle theorems Keywords: geometry; angle theorems Downloads: 337 |

| 11X1 T13 03 angle theorems 2 (2013) - Nigel Simmons Adding a couple of angle theorems to the list Keywords: angle theorems; circle geometry Downloads: 6 |

| Selected bibliography of statistical literature, 1930 to 1957: limit theorems (Volume 64B) - Deming, Lola S. Journal of Research of the National Bureau of Standards Keywords: Bibliography; limit theorems Downloads: 107 | |

| 11X1 T07 05 tangent theorems 1 - Nigel Simmons We begin with an assumption and from there we build some more theorems Keywords: geometry; tangent theorems Downloads: 876 |

| 11X1 T07 01 definitions & chord theorems - Nigel Simmons Introduction to circle geometry and some initial theorems Keywords: circle geometry; chord theorems Downloads: 1,078 |

| 11X1 T07 02 angle theorems 1 - Nigel Simmons The first look at some angle theorems Keywords: geometry; ange theorems Downloads: 215 |

| Some limit theorems for weighted sums of random variables - Adler, André Bruce http://uf.catalog.fcla.edu/uf.jsp?st=UF000947199&ix=nu&I=0&V=D Keywords: Limit theorems (Probability theory Downloads: 109 | |

| 11X1 T07 04 converse theorems - Nigel Simmons Using theorems in reverse Keywords: geometry; converse theorems Downloads: 178 |

| 11X1 T06 02 triangle theorems - Nigel Simmons Geometry theorems involving triangles Keywords: geometry; triangle theorems Downloads: 220 |

| 11X1 T07 02 triangle theorems (2010) - Nigel Simmons Deriving the triangle and polygon theorems. Keywords: geometry; triangle theorems Downloads: 130 |

| Two theorems on matrices (Volume 66B) - Newman, Morris Journal of Research of the National Bureau of Standards Keywords: Matrices; two theorems Downloads: 33 | |

| 11X1 T06 01 angle theorems - Nigel Simmons Introduction to Euclidean geometry starting with some terminology and some inital theorems Keywords: geometry; angle theorems Downloads: 203 |

| An optimal control formulation of the Blaschke-Lebesgue theorem - Ghandehari, Mostafa. Cover title Keywords: THEOREMS; PLANE GEOMETRY Downloads: 62 | |

| 11X1 T13 03 angle theorems 2 (2010) - Nigel Simmons Continuing with more angle theorems. Keywords: angle theorems; euclidean geometry; circles Downloads: 160 |

| 11X1 T13 02 angle theorems 1 (2010) - Nigel Simmons Looking at the initial angle theorems. Keywords: circles; angle theorems; euclidean geometry Downloads: 158 |

| 11X1 T13 01 definitions & chord theorems (2010) - Nigel Simmons The basic definitions of circke properties and introducing some chord (arc) theorems. Keywords: euclidean geometry; circle; chord theorems Downloads: 341 |

| A note on the non-existence of multivalue A-stable methods of order greater than two (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 569) - Gear, C. William (Charles William), 1935- Bibliography: leaf 3 Keywords: Differential equations, Linear; Existence theorems Downloads: 37 | |

| 11X1 T13 05 tangent theorems 1 (2010) - Nigel Simmons Discovering the relationship between tangents and circles. Keywords: tangent theorems; circles; euclidean geometry Downloads: 206 |

| 11X1 T13 04 converse theorems (2010) - Nigel Simmons Using the circle theorems in reverse to prove points re concyclic. Keywords: euclidean geometry; circles; converse theorems Downloads: 186 |

| Continuity of a derivative defined by the law of the mean - Huffer, Charles M. (Charles Morse), 1894- Thesis (M.A.)--University of Illinois, 1917 Keywords: Mean value theorems (Calculus); Fractional calculus; Theses Downloads: 23 | |

| Energetics of Oxygen Interstitials in Cr and V - Good, Brian S. Dissolved oxygen in group IIIA-VA (Nb, Ti, Zr, Y) based alloys is a fundamental problem, affecting both mechanical properties and oxidation resistance, yet details of the phenomenon are poorly understood. In these alloys, oxygen is more stable dissolved in the metal than as an oxide-compound. In contrast, alloys based on Ni, Fe, Al and Cr exhibit almost no oxygen solubility. To improve the performance of Nb and Ti based alloys it is necessary to understand the differences in oxygen solubility be... Keywords: OPTIMIZATION; ALGORITHMS; THEOREMS; PROBLEM SOLVING; GAMES; INTELLIGENCE Downloads: 118 | |

| Optics - Sir Isaac Newton Sir Isaac Newton Optics Dover Publications Inc. 1952 Acrobat 7 Pdf 16.8 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Physics; Opticks; Definitions; Axioms; Propositions; Theorems; Problems Downloads: 1,403 | |

| Comparison theorems for symmetric functions of characteristic roots (Volume 65B) - Marcus, Marvin Journal of Research of the National Bureau of Standards Keywords: Characteristic roots; comparison theorems; symmetric functions Downloads: 24 | |

| Notable Algebraic Topologists and Their Theorems - I. C. Baianu, editor, with several listed contributors A concise, contributed textbook presentation of notable algebraic topologists' biographies, important algebraic topology theorems, with extensive references/bibliography. It also contains numerous illustrations that are explained in the text in a simplified, introductory, but non-trivial manner. A kind of abbreviated `Who's Who' of Modern Algebraic Topology and Topology, as well as Algebraic Geometry and the Theory of Categories... Keywords: Algebraic Topology theorems; algebraic topologists; mainstream mathematics Downloads: 1,321 | |

| Low-Subsonic-Speed Static Longitudinal Stability and Control Characteristics of a Winged Reentry-Vehicle Configuration Having Wingtip Panels that Fold up for High-Drag Reentry - Ware, George M An investigation of the low-subsonic-speed static longitudinal stability and control characteristics of a model of a manned reentry-vehicle configuration capable of high-drag reentry and glide landing has been a made in the Langley free-flight tunnel. The model had a modified 63 deg delta plan-form wing with a fuselage on the upper surface. This configuration had wingtip panels designed to fold up 90 deg for the high-drag reentry phase of the flight and to extend horizontally for the glide landi... Keywords: EXOSPHERE; DENSITY DISTRIBUTION; OPIK THEORY; DEPTH; THEOREMS Downloads: 94 | |

| Simulation of a Flywheel Electrical System for Aerospace Applications - Truong, Long V. A Flywheel Energy Storage Demonstration Project was initiated at the NASA Glenn Research Center as a possible replacement for the battery energy storage system on the International Space Station (ISS). While the hardware fabrication work was being performed at a university and contractor's facility, the related simulation activity was begun at Glenn. At the top level, Glenn researchers simulated the operation of the ISS primary electrical system (as described in another paper) with the Flywheel ... Keywords: THEOREMS; QUANTUM MECHANICS; THEOREM PROVING; SPIN DECOUPLING Downloads: 156 | |

| A heat loss compensated calorimeter and related theorems (Volume 73C) - Domen, Steve R. Journal of Research of the National Bureau of Standards Keywords: Absorbed dose; calorimeter; heat loss compensation; heat flow theorems Downloads: 55 | |

| COLLISION WITH SODIUM ATOMS IN ONE OF THE TWO 3 P2 STATES - SEIWERT, R ATTEMPTS ARE MADE TO CLARIFY MEASURING DISCREPANCIES IN THE STUDY OF TWO D LINES RADIATED INTO PURE SODIUM VAPOR, A SODIUM VAPOR AIR MIXTURE, AND A SODIUM POTASSIUM VAPOR MIXTURE. RESULTS SHOW THAT THE INTENSITY RATIOS OF THE TWO RESONANCE LINES IN FLUORESCENT LIGHT IS MARKEDLY INFLUENCED BY THE RADIATION DIFFUSION AND THAT THE MEASURED VALUES THEREFORE DEPEND ON THE GEOMETRY OF THE SYSTEM. IF THIS IS TAKEN INTO ACCOUNT, THE APPARENT CONTRADICTION BETWEEN OTHER EXPERIMENTAL STUDIES CAN BE EXPLAI... Keywords: DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; THEOREMS; OPERATORS (MATHEMATICS); VARIABILITY Downloads: 74 | |

| Theorems for finite automata - Wright, Reverdy Edmond, 1933- Manuscript copy Keywords: Sequential machine theory; Finite automata, Theorems for; Machine theory Downloads: 211 | |

| NASA/DoD Aerospace Knowledge Diffusion Research Project: Report 42: The Technical Communication Practices of U.S. Aerospace Engineers and Scientists: Results of the Phase 1 Mail Survey -- Aircraft Design Perspective - Pinelli, Thomas E. The U.S. government technical report is a primary means by which the results of federally funded research and development (R&D) are transferred to the U.S. aerospace industry. However, little is known about this information product in terms of its actual use, importance, and value in the transfer of federally funded R&D. To help establish a body of knowledge, the U.S. government technical report is being investigated as part of the NASA/DOD Aerospace Knowledge Diffusion Research Project... Keywords: POLYNOMIALS; DISTANCE; ERROR CORRECTING CODES; MATRICES (MATHEMATICS); THEOREMS; FUNCTION SPACE Downloads: 69 | |

| Existence theorems for optimal problems with vector valued cost function - Olech, C Existence theorems for optimal control problems with vector valued cost function Keywords: EXISTENCE THEOREMS; OPTIMAL CONTROL; THEOREM PROVING; EUCLIDEAN GEOMETRY; VECTOR SPACES Downloads: 96 | |

| Electronics for Technician Engineers - W.W. Smith W.W. Smith Electronics for Technician Engineers Hutchinson Educational 1970 Acrobat 7 Pdf 12.9 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Networks; Theorems; Components; AC; Diode; Triode; Pentode; Pulse; Feedback; Sawtooth Downloads: 1,329 | |

| Divergent Series - G. H. Hardy G. H. Hardy Divergent Series Oxford University Press 1973 Acrobat 7 Pdf 16.8 Mb Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Mathematics; Tauberian Theorems; Euler; Borel; Wiener; Power Series; Maclaurin Downloads: 1,023 | |

| Multivariable Calculus- V10.2 the Divergence Theorem - Denis Auroux Gradient �elds and path-independence: The two-dimensional theory developed for line integrals in the plane generalizes easily to three-space. For the part where no new ideas are involved, we will be brief, just stating the results, and in places sketching the proofs. Keywords: Maths; Analysis and Calculus; Calculus; Integration Theorems; Divergence Theorem; Mathematics Downloads: 10 | |

| Data Processing for NASA's TDRSS DAMA Channel - Long, Christopher C. A concept for the addition of a Demand Assignment Multiple Access (DAMA) service to NASA's current Space Network (SN) is developed. Specifically, the design of a receiver for the DAMA channel is outlined. Also, an outline of the procedures taken to process the received service request is presented. The modifications to the (SN) system are minimal. The post reception processing is accomplished using standard commercial off the shelf (COTS) packages... Keywords: CODING; ALGEBRA; MATRICES (MATHEMATICS); PARITY; LINEAR EQUATIONS; THEOREMS; GEOMETRY Downloads: 116 | |

| RESULTS OF REMOTE SOUNDING OF THE ATMOSPHERE AND OCEAN IN THE INFRARED AND MICROWAVE REGIONS ON THE 13TH VOYAGE OF THE SCIENTIFIC RESEARCH VESSEL ''ACADEMICIAN KURCHATOV'' - GORODETSKIY, A. K. THERMAL EMISSION FROM THE SEA SURFACE AND ATMOSPHERE WERE STUDIED IN THE INFRARED AND MICROWAVE REGIONS BY SEMIAUTOMATIC CAMERAS AND PHOTOMETER ABOARD SHIP IN THE NORTH ATLANTIC. THE ROLE OF SEA FOAM IN AFFECTING MICROWAVE EMISSION WAS ALSO EXAMINED. Keywords: FUNCTION SPACE; OPERATORS (MATHEMATICS); THEOREMS; VECTORS (MATHEMATICS); DIFFERENTIAL EQUATIONS; EIGENVALUES Downloads: 49 | |

| mit :: ai :: aim :: AIM-203a From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-203a Keywords: theorem; theorems; planner; lisp; data; thprog; failure; variable; assigned; assertions; artificial intelligence; theorem prover; data base; erasing theorems; pattern matching; consequent theorem; failure propagates; antecedent theorems; failure backs; gerald jay Downloads: 52 | |

| Elementary Abstract Algebra - Edwin Clark This book is intended for a one semester introduction to absract algebra. Instead of spending a lot of time going over background material, we go directly into the primary subject matter. We discuss proof methods and necessary background as the need arises. Keywords: Maths; Algebra; Groups; Groups; Lagrange and Fermat-Euler�s Theorems; Isomorphism Theorems; Axioms for Groups; Cosets; Lagrange�s Theorem; Quaternions; Mathematics Downloads: 114 | |

| ASCA Observation of an ''X-Ray Shadow'' in the Galactic Plane - Park, Sangwook The diffuse X-ray background (DXB) emission near the Galactic plane (l,b approximately 25.6 degrees, 0.78 degrees) has been observed with ASCA (Advanced Satellite for Cosmology and Astrophysics). The observed region is toward a Galactic molecular cloud which was recently reported to cast a deep X-ray shadow in the 0.5 - 2.0 keV band DXB. The selection of this particular region is intended to provide a constraint on the spatial distribution of the DXB emission along the line of sight: i.e., the m... Keywords: TEMPORAL LOGIC; ALGORITHMS; EFFICIENCY; LOGIC PROGRAMMING; REFLECTION; THEOREMS; INFINITY; SOFTWARE DEVELOPMENT TOOLS Downloads: 17 | |

| Deductive Geometry - E.A. Maxwell E.A. Maxwell Deductive Geometry Pergamon Press Ltd. 1962 Acrobat 7 Pdf 4.43 Mb. Scanned by artmisa using Canon DR2580C + flatbed option Keywords: Mathematics; Triangle; Circle Theorems; Ceva; Menelaus; Pole; Line; Plane; Harmonic Properties; Solid Bodies; Sphere; Transformations; Space Downloads: 563 | |

| mit :: ai :: aim :: AIM-015 From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-015 Keywords: theorem; induction; recursion; reverse; defined; cons; scanning; proof; theorems; prove; recursion induction; scanning agent Downloads: 31 | |

| An Integrated Environment for Efficient Formal Design and Verification - NON The general goal of this project was to improve the practicality of formal methods by combining techniques from model checking and theorem proving. At the time the project was proposed, the model checking and theorem proving communities were applying different tools to similar problems, but there was not much cross-fertilization. This project involved a group from SRI that had substantial experience in the development and application of theorem-proving technology, and a group at Stanford that sp... Keywords: INTERPOLATION; PERTURBATION; THEOREMS; QUADRATURES; FUNCTIONS (MATHEMATICS); INTEGRALS; INTEGRAL EQUATIONS; POLYNOMIALS; ACCURACY; LINEAR SYSTEMS; NUMERICAL ANALYSIS Downloads: 89 | |

| High Gain Antenna Gimbal for the 2003-2004 Mars Exploration Rover Program - Sokol, Jeff The High Gain Antenna Assemblies built for the 2003-2004 Mars Exploration Rover (MER) missions provide the primary communication link for the Rovers once they arrive on Mars. The High Gain Antenna Gimbal (HGAG) portion of the assembly is a two-axis gimbal that provides the structural support, pointing, and tracking for the High Gain Antenna (HGA). The MER mission requirements provided some unique design challenges for the HGAG... Keywords: MICROWAVE INTERFEROMETERS; FOURIER TRANSFORMATION; IMAGING TECHNIQUES; MICROWAVE IMAGERY; THEOREMS; SCALARS; REMOTE SENSING; POLARIMETRY Downloads: 100 | |

| Theory of Probability- Empirical Process and Kolmogorov's Chaining. - Dmitry Panchenko
Keywords: Maths; Statistics and Probability; Probability; Inequalities and Limits Theorems; Chebyshev�s Inequality; Mathematics Downloads: 13 | |